(modify_event_symbol): Add properly to *symbol_table.

diff --git a/src/keyboard.c b/src/keyboard.c
index b8025a11b1472fbe9852c23ff0584b67c62ac3e9..c4d490206762104f7f2c4c636d0ad1c28e3ae195 100644 (file)
--- a/src/keyboard.c
+++ b/src/keyboard.c
@@ -4485,7 +4485,7 @@ modify_event_symbol (symbol_num, modifiers, symbol_kind, name_alist,
        }
 
       if (CONSP (*symbol_table))
-       *symbol_table = Fcons (value, *symbol_table);
+        *symbol_table = Fcons (Fcons (symbol_int, value), *symbol_table);
       else
        XVECTOR (*symbol_table)->contents[symbol_num] = value;